Towards a semantic-based process supervision

This thesis attempts to exploit the deductive capabilities of the semantic rea- soners to automate the supervision task through a knowledge-driven approach. With that aim, we have explored the characteristics of DL-based modeling and reasoning to support qualitative supervision methods. The emphasis have been placed in multivariate data analysis. Through them, failures are detected and diagnosed using patterns of qualitative symptoms (i.e. Fault Signatures) that involve several process variables.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Towards a semantic-based process supervision

This thesis attempts to exploit the deductive capabilities of the semantic rea- soners to automate the supervision task through a knowledge-driven approach. With that aim, we have explored the characteristics of DL-based modeling and reasoning to support qualitative supervision methods. The emphasis have been placed in multivariate data analysis. Through them, failures are detected and diagnosed using patterns of qualitative symptoms (i.e. Fault Signatures) that involve several process variables.Sociedad Argentina de Informática e Investigación Operativa (SADIO

A Factor Graph Approach to Automated GO Annotation

As volume of genomic data grows, computational methods become essential for providing a first glimpse onto gene annotations. Automated Gene Ontology (GO) annotation methods based on hierarchical ensemble classification techniques are particularly interesting when interpretability of annotation results is a main concern. In these methods, raw GO-term predictions computed by base binary classifiers are leveraged by checking the consistency of predefined GO relationships. Both formal leveraging strategies, with main focus on annotation precision, and heuristic alternatives, with main focus on scalability issues, have been described in literature. In this contribution, a factor graph approach to the hierarchical ensemble formulation of the automated GO annotation problem is presented. In this formal framework, a core factor graph is first built based on the GO structure and then enriched to take into account the noisy nature of GO-term predictions. Hence, starting from raw GO-term predictions, an iterative message passing algorithm between nodes of the factor graph is used to compute marginal probabilities of target GO-terms. Evaluations on Saccharomyces cerevisiae, Arabidopsis thaliana and Drosophila melanogaster protein sequences from the GO Molecular Function domain showed significant improvements over competing approaches, even when protein sequences were naively characterized by their physicochemical and secondary structure properties or when loose noisy annotation datasets were considered. Based on these promising results and using Arabidopsis thaliana annotation data, we extend our approach to the identification of most promising molecular function annotations for a set of proteins of unknown function in Solanum lycopersicum.Fil: Spetale, Flavio Ezequiel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; ArgentinaFil: Krsticevic, Flavia Jorgelina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; ArgentinaFil: Roda, Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; ArgentinaFil: Bulacio, Pilar Estela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentin

Esquemas de Representación Ontológica para la Integración de Datos en los Sistemas de Información de Planta

La complejidad de los procesos productivos sumada a la falta de integración y consistencia en los datos hacen que los Sistemas de Información de Planta (SIP) sean sumamente dependientes de los expertos del proceso. Por este contexto, ha surgido un interés en sistemas de integración de datos basados en conocimiento. A diferencia de otros autores, que proponen soluciones de mediación semántica, en este trabajo se búsca explotar las capacidades deductivas del razonador siguiendo un enfoque de integración dirigido por el conocimiento (knowledge-driven approach). Conceptos propios de la ingeniería de procesos han sido implementados con éxito haciendo uso de los estándares y tecnologías propuestas recientemente por World Wide Web Consortium (W3C) en la construcción de SemanticWeb. Con el objeto de demostrar la potencialidad y el alcance de los esquemas de representación propuestos, se realizaron pruebas de razonamiento sobre un ejemplo de aplicación industrial.Fil: Roda, Fernando. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; ArgentinaFil: Basualdo, Marta Susana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; ArgentinaFil: Musulin, Estanislao. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y Sistemas; Argentin

Towards a semantic-based process supervision

This thesis attempts to exploit the deductive capabilities of the semantic rea- soners to automate the supervision task through a knowledge-driven approach. With that aim, we have explored the characteristics of DL-based modeling and reasoning to support qualitative supervision methods. The emphasis have been placed in multivariate data analysis. Through them, failures are detected and diagnosed using patterns of qualitative symptoms (i.e. Fault Signatures) that involve several process variables.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Response for light scattered in the ocular fundus from double-pass and Hartmann–Shack estimations

Double-pass (DP) and Hartmann--Shack (HS) are complementary techniques based on reflections of light in the ocular fundus that may be used to estimate the optical properties of the human eye. Under conventional data processing, both of these assessment modes provide information on aberrations. In addition, DP data contain the effects of scattering. In the ocular fundus, this phenomenon may arise from the interaction of light with not only the retina, but also deeper layers up to which certain wavelengths may penetrate. In this work, we estimate the response of the ocular fundus to incident light by fitting the deviations between DP and HS estimations using an exponential model. In measurements with negligible intraocular scattering, such differences may be related to the lateral spreading of light that occurs in the ocular fundus due to the diffusive properties of the media at the working wavelength. The proposed model was applied in young healthy eyes to evaluate the performance of scattering in such a population. Besides giving a parameter with information on the ocular fundus, the model contributes to the understanding of the differences between DP and HS estimations.Postprint (author's final draft

Propiedades cualitativas de un modelo de inventario con rotura

Muchas empresas de producción o comercialización invierten grandes sumas de dinero en la gestión y mantenimiento de sus inventarios. Gran parte de esos costos son ocasionados por la pérdida total o parcial del valor del ítem en especial cuando estos son almacenados durante periodos de tiempo prolongados. En este trabajo se presenta un análisis de la dinámica de un modelo de inventario con rotura de ítems por contacto, considerando la demanda y el lead-time constantes. Si bien el modelo es no lineal, mediante la teoría cualita tiva de ecuaciones diferenciales fue posible describir rigurosamente las propiedades generales sin la necesidad de recurrir a simulaciones numéricas. Además se establecen una serie de criterios para la formulación de una política de reposición exitosa y se propone una estrategia de venta que evita llegar a niveles de stock nulo. Por último mediante la simulación son estudiados los efectos del comportamiento estocástico y periódicos de la demanda.Sociedad Argentina de Informática e Investigación Operativ

Conceptual and formal models of the monitoring of laboratory analytical techniques

Este trabajo presenta la conceptualización y la representación formal de los conocimientos que utiliza un técnico experto en la monitorización del desarrollo de un protocolo químico experimental. Se obtuvieron los modelos conceptuales de los conocimientos que emplea el experto, se documentaron en forma gráfica y se obtuvo el Mapa de Conocimientos de la tarea que realiza el experto. La formalización del modelo conceptual de cono - cimientos se realizó mediante un modelo híbrido de marcos con sistemas de producción. En conclusión, la conceptualización de los conocimientos y la formalización logradas son bastante completas y profundas.This paper presents the conceptualization and the formal representation of the knowledge applied by a technical expert when monitoring the development of a chemical experimental protocol. The conceptual knowledge models applied by the expert were obtained and graphically documented. In addition, the Knowledge Map of the task performed by the expert was obtained. The formalization of the conceptual knowledge model was carried out by means of a hybrid model of frames and production-systems. In conclusion, the knowledge conceptualization and formalization achieved are quite detailed and thorough.Fil: Lima, Julio. Universidad Nacional de Luján; Argentina. Universidad Nacional del Noroeste de la Provincia de Buenos Aires; Argentina. Universidad del Centro Educativo Latinoamericano; ArgentinaFil: Angiorama, Marina. Universidad del Centro Educativo Latinoamericano; Argentina. Universidad Tecnologica Nacional; ArgentinaFil: Roda, Fernando. Universidad del Centro Educativo Latinoamericano; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Ybalo, Carolina. Universidad del Centro Educativo Latinoamericano; ArgentinaFil: Patti, Miguel. Universidad del Centro Educativo Latinoamericano; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Salvia, Romina. Universidad del Centro Educativo Latinoamericano; Argentin

Esquemas de representación ontológica para la integración de datos en los sistemas de información de planta

La complejidad de los procesos productivos sumada a la falta de integración y consistencia en los datos hacen que los Sistemas de Información de Planta (SIP) sean sumamente dependientes de los expertos del proceso. Por este contexto, ha surgido un interés en sistemas de integración de datos basados en conocimiento. A diferencia de otros autores, que proponen soluciones de mediación semántica, en este trabajo se busca explotar las capacidades deductivas del razonador siguiendo un enfoque de integración dirigido por el conocimiento (knowledge-driven approach). Conceptos propios de la ingeniería de procesos han sido implementados con éxito haciendo uso de los estándares y tecnologías propuestas recientemente por World Wide Web Consortium (W 3C) en la construcción de SemanticWeb. Con el objeto de demostrar la potencialidad y el alcance de los esquemas de representación propuestos, se realizaron pruebas de razonamiento sobre un ejemplo de aplicación industrial.Sociedad Argentina de Informática e Investigación Operativ

System based on the contrast of Purkinje images to measure corneal and lens scattering

Current methods to measure intraocular scattering provide information on the total scattered light, which consists of the combined contributions originating from different ocular structures. In this work, we propose a technique for the objective and independent assessment of scattering caused by the cornea and the lens based on the analysis of the contrast of the third and fourth Purkinje images. The technique is preliminarily validated first by using artificial eyes with different levels of corneal and lens scattering; second, it is validated in eyes wearing customized contact lenses to simulate corneal scattering and eyes with nuclear cataracts. Finally, it is tested on a larger population of eyes with cataracts and corneal disorders to prove its clinical usefulness.Postprint (published version